pdf: exercise3.lhs Makefile
	lhs2TeX -o exercise3.tex --math exercise3.lhs
	pdflatex exercise3.tex

clean:
	rm -f *.log *.aux *.ptb cmbtt10.657pk exercise3.pdf exercise3.tex
